package systemfnomabss;



trait systemfTextToASTParser extends TextToAbstractSTParser with systemfLambdaToTextualParser with systemfTextualToAbstractTransform with TextualSyntax { self :systemfTextToASTParser with AbstractSyntax =>
   

   def textualtoAST(raw:RawTerm) : LTerm = textualtoabstract(raw)
   def parseStringRaw(str: String) = parseString(str)
   def parseToAST(str: String)= {
     val rawterm = parseString(str)
     val ast = rawterm.map(textualtoabstract)
     ast
     
   }

}

  